Jean-Michel Folon

Carles , Thierry Lamireau and Jean - Michel Guillard

We report on the case of a girl with type 1 Gaucher’s disease, treated from age 9 to 15 with highdose enzyme replacement therapy. This treatment did not avert the development of an extensive mutilating hepatic fibrosis warranting a liver transplantation, which was followed by death. In some cases of Gaucher’s disease, alternative strategies such as fractionated or further increased ERT, gene th...

Co-directeur de thèse: M. Jean-Michel MAZIN

XX IS SIFT SCALE INVARIANT ? Jean - Michel Morel

This note is devoted to a mathematical exploration of whether Lowe’s Scale-Invariant Feature Transform (SIFT) [21], a very successful image matching method, is similarity invariant as claimed. It is proved that the method is scale invariant only if the initial image blurs is exactly guessed. Yet, even a large error on the initial blur is quickly attenuated by this multiscale method, when the sc...

PREFACE - Special issue in honor of Jean-Michel Coron for his 60th birthday

The journal “ESAIM: Control Optimization and Calcul of Variations”, funded by Jean-Michel Coron and Jean-Pierre Puel in 1995, and which has been directed by Jean-Michel from 1995 to 2002, was obviously the best journal to carry out this initiative. We thank the Editorial Board for granting us the permission to create this special volume and the whole staff of the journal for their kind help in ...

Extending the FOLON Environment for Automatically

The FOLON environment 2, 8] is based on Deville's methodology for logic program development 6]. In this context, we propose an algorithm which proves the total correctness of a Prolog procedure with respect to a formal speciication. Another algorithm for automatically deriving such procedures is also presented.